Gomme à effacer (n.f.)